s3 is solvable